Logics in AI [[electronic resource] ] : European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings / / edited by Jan van Eijck

• Pubblicazione: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991
• Edizione: 1st ed. 1991.
• Descrizione fisica: 1 online resource (XI, 569 p.)
• Disciplina: 006.3
• Soggetto topico: Architecture, Computer; Natural language processing (Computer science); Artificial intelligence; Computer logic; Mathematical logic; Computer System Implementation; Natural Language Processing (NLP); Artificial Intelligence; Logics and Meanings of Programs; Mathematical Logic and Foundations
• Persona (resp. second.): EijckJ. van (Jan)
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Commonsense entailment: A modal theory of nonmonotonic reasoning -- Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators -- Belief revision and nonmonotonic logic: Two sides of the same coin? -- Two theories of dynamic semantics -- What is a Horn clause in partial logic? -- Semantic interpretation as higher-order deduction -- Action logic and pure induction -- Loop checking and negation -- On generative capacity of the Lambek calculus -- Extending resolution for model construction -- A first order logic of truth, knowledge and belief -- The optimal model of a program with negation -- NM3 — A three-valued cumulative non-monotonic formalism -- Constructive matching — A methodology for inductive theorem proving -- Deductive inference operations -- A constraint logic approach to modal deduction -- Dynamic semantics and VP-ellipsis -- Systems for knowledge and beliefs -- Awareness, negation and Logical omniscience -- Theoretical circumscription in partial modal logic -- A logical basis for object oriented programming -- A computationally attractive first-order logic of belief -- Polymorphic constructs in natural and programming languages -- The net-clause language — A tool for data-driven inference -- The logical compilation of knowledge bases -- Non-monotonic reasoning by monotonic means -- Anaphora and the logic of change -- Towards automatic autoepistemic reasoning -- Towards a connection procedure with built in theories -- On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs -- Towards a formal theory of intentions -- Note on effective constructibility of resolution proof systems -- The logic of objective knowledge and rational belief -- A complete logic for autoepistemic membership -- Doxastic preference logic -- Partial semantics for truth maintenance.
• Sommario/riassunto: The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
• Titolo autorizzato: Logics in AI
• ISBN: 3-540-46982-6
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996465377503316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Artificial Intelligence ; ; 478