English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  A New Sorted Logic

Weidenbach, C. (1993). A New Sorted Logic. In H. J. Ohlbach (Ed.), GWAI-92: Advances in Artificial Inteligence (pp. 43-54). Berlin: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-001A-106D-8 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-4D79-5
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/dwZd2 (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Weidenbach, Christoph1, Author                 
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show
hide
Free keywords: -
 Abstract: We present a sound and complete calculus for an expressive sorted first-order logic. Sorts are extended to the semantic and pragmatic use of unary predicates. A sort may denote an empty set and the sort structure can be created by making use of the full first-order language. Technically spoken, we allow sort declarations to be used in the same way than ordinary atoms. Therefore we can compile every first-order logic formula into our logic.\\ The extended expressivity implies an extended sorted inference machine. We present a new unification algorithm and show that the declarations the unification algorithm is built on have to be changed dynamically during the deduction process. Deductions in the resulting resolution calculus are very efficient compared to deductions in the unsorted resolution calculus. The approach is a conservative extension of the known sorted approaches, as it simplifies to the known sorted calculi if we apply the calculus to the much more restricted input formulas of these calculi.

Details

show
hide
Language(s): eng - English
 Dates: 1993
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Weidenbach92a
DOI: 10.1007/BFb0018991
 Degree: -

Event

show
hide
Title: GWAI 1992
Place of Event: Bonn
Start-/End Date: 1992-08-31 - 1992-09-03

Legal Case

show

Project information

show

Source 1

show
hide
Title: GWAI-92: Advances in Artificial Inteligence
  Subtitle : 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings
  Abbreviation : GWAI 1992
Source Genre: Proceedings
 Creator(s):
Ohlbach, Hans Jürgen1, Editor           
Affiliations:
1 Programming Logics, MPI for Informatics, Max Planck Society, ou_40045            
Publ. Info: Berlin : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 43 - 54 Identifier: -

Source 2

show
hide
Title: Lecture Notes in Artificial Intelligence
  Abbreviation : LNAI
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 671 Sequence Number: - Start / End Page: - Identifier: -