Prolegomena to a theory of mechanized formal reasoning

DOI10.1016/0004-3702(80)90015-6zbMath0435.68070OpenAlexW2125692076MaRDI QIDQ1140436

Richard W. Weyhrauch

Publication date: 1980

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(80)90015-6

zbMATH Keywords

FOL systemmechanized formal reasoning

Mathematics Subject Classification ID

Related Items (42)

Contextual reasoning distilled ⋮ Hybrid reasoning using universal attachment ⋮ Formal semantics of meta-level architectures: Dynamic control of reasoning ⋮ Semantic formalization of interactive reasoning functionality ⋮ Diagnostic Reasoning for Robotics Using Action Languages ⋮ Embedding complex decision procedures inside an interactive theorem prover. ⋮ Temporal theories of reasoning ⋮ Program tactics and logic tactics ⋮ A metalogic programming approach: language, semantics and applications ⋮ Metamathematical extensibility for theorem verifiers and proof-checkers ⋮ Unnamed Item ⋮ A first order logic of effects ⋮ A metatheory of a mechanized object theory ⋮ Network reification as a unified approach to represent network adaptation principles within a network ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ Hybrid planning for challenging construction problems: an answer set programming approach ⋮ The independence of control structures in abstract programming systems ⋮ Theory construction in psychology: The interpretation and integration of psychological data ⋮ An efficient interpreter for the lambda-calculus ⋮ An epistemic model of logic programming ⋮ Mechanizing multi-agent reasoning with belief contexts ⋮ Reasoning about reasoning in a meta-level architecture ⋮ ABSFOL: A proof checker with abstraction ⋮ Reflection of formal tactics in a deductive reflection framework ⋮ A theory of abstraction ⋮ Heuristic reasoning and relative incompleteness ⋮ Local Models Semantics, or contextual reasoning = locality + compatibility ⋮ Unnamed Item ⋮ DESIGN AND IMPLEMENTATION OF A REASONING ENGINE USING GENERALIZED META-RULES TO EXPRESS CONTROL KNOWLEDGE ⋮ Milestones from the Pure Lisp Theorem Prover to ACL2 ⋮ An epistemic logic for multi-agent systems with budget and costs ⋮ A proof description language and its reduction system ⋮ A two-level temporal logic for evolving specifications. ⋮ Dynamics, adaptation and control for mental models: a cognitive architecture ⋮ Bringing networks to the next level: self-modeling networks for adaptivity and control of mental models ⋮ Who am I really: an adaptive network model addressing mental models for self-referencing, self-awareness and self-interpretation ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) ⋮ Automated inferencing ⋮ Complex structures and composite models - An essay on methodology ⋮ Reflection in conditional rewriting logic ⋮ Comparing formal theories of context in AI

Cites Work

• A Transformation System for Developing Recursive Programs
• Transfinite recursive progressions of axiomatic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Prolegomena to a theory of mechanized formal reasoning