KAP 140 PG R3 - BendixKing
KAP 140Bendix/King Autopilot SystemPilot’s Guide
WARNINGThe enclosed technical data is eligible for export under License DesignationNLR and is to be used solely by the individual/organization to whom it isaddressed. Diversion contrary to U.S. law is prohibited.COPYRIGHT NOTICECopyright 1998, 2002, 2005 Honeywell International Inc.All rights reserved.Reproduction of this publication or any portion thereof by any means withoutthe express written permission of Honeywell International Inc. is prohibited.For further information contact Aerospace Technical Publications; Honeywell;One Technology Center; 23500 West 105th Street; Olathe, Kansas 66061.Telephone: (913) 712-0400.
Revision History and InstructionsManualKAP 140 Pilot’s GuideRevision3, November 2005Part Number006-18034-0000This revision changes CW to CCW on page 116.R-1
Revision History and InstructionsManualKAP 140 Pilot’s GuideRevision2, May 2002Part Number006-18034-0000This revision makes some of the changes for software version 03/01more consistent throughout the Pilot’s Guide. The affected pages are 9,12, 13, 55, 58, 83, 86 and 109.R-2
Revision History and InstructionsManualKAP 140 Pilot’s GuideRevision1, April 2002Part Number006-18034-0000This revision incorporates changes for software version 03/01.R-3
Revision History and InstructionsManualKAP 140 Pilot’s GuideRevision0, June 1998Part Number006-18034-0000This is the original version of this publication.R-4
Table of ContentsIntroduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .1General Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2KAP 140 Single Axis Autopilot System . . . . . . . . . . . . . . . . . . . . . . . . . . . .2KAP 140 Two Axis Autopilot System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .2KAP 140 Two Axis/Altitude Preselect Autopilot System . . . . . . . . . . . . . . .2System Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .4Power Application and Preflight Tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .8KAP 140 Single Axis Operation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .9System Operating Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12Wing Leveler (ROL) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12Heading Select (HDG) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13Navigation (NAV) Mode Using a DG from HDG Mode(45 Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14Navigation (NAV) Mode Using a DG from ROL Mode(All Angle Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .16Approach (APR) Mode Using a DG from HDG Mode(45 Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .20Approach (APR) Mode Using a DG from ROL Mode(All Angle Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .22Approach (APR) Mode Using an HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . .24Back Course (REV) Mode Using a DG from HDG Mode(45 Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .26Back Course (REV) Mode Using a DG from ROL Mode(All Angle Intercept) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .28Back Course (REV) Mode Using an HSI . . . . . . . . . . . . . . . . . . . . . . . . . .30Operations With The KAP 140 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .32Takeoff And Climb To Assigned Altitude . . . . . . . . . . . . . . . . . . . . . . . . . . .32GPS Capture Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .34GPS Capture Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .36Outbound On Front Course For Procedure Turn To LOC ApproachUsing DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .38Outbound On Front Course For Procedure Turn To LOC ApproachUsing HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .40Front Course LOC Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . .42Front Course LOC Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . .44Outbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . .46Outbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . .48Inbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . .50Inbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . .52KAP 140 Two Axis Operation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .55System Operating Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .57Vertical Speed (VS) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .58Altitude Hold (ALT) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .59Operations With The KAP 140 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .60Takeoff And Climb To Assigned Altitude . . . . . . . . . . . . . . . . . . . . . . . . . . .60GPS Capture Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .62Rev. 0Jun/98KAP 140 AUTOPILOT SYSTEMi
Table of ContentsGPS Capture Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .64Outbound On Front Course For Procedure Turn To ILS ApproachUsing DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .66Outbound On Front Course For Procedure Turn To ILS ApproachUsing HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .68Front Course ILS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . .70Front Course ILS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . .72Outbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . .74Outbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . .76Inbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . .78Inbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . .80KAP 140 Two Axis with Altitude Preselect Operation . . . . . . . . . . . . . . . . .83System Operating Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .86Vertical Speed (VS) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .86Altitude Hold (ALT) Mode . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .87Altitude Alerting and Preselect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .88Altitude Alerter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .88Altimeter Setting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .88Altitude Preselect . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .89Voice Messaging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .89Operations With The KAP 140 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .90Takeoff And Climb To Assigned Altitude . . . . . . . . . . . . . . . . . . . . . . . . . . .90GPS Capture Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .92GPS Capture Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .94Outbound On Front Course For Procedure Turn To ILS ApproachUsing DG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .96Outbound On Front Course For Procedure Turn To ILS ApproachUsing HSI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .98Front Course ILS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . .100Front Course ILS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . .102Outbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . .104Outbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . .106Inbound on GPS Approach Using DG . . . . . . . . . . . . . . . . . . . . . . . . . . . .108Inbound on GPS Approach Using HSI . . . . . . . . . . . . . . . . . . . . . . . . . . .110KCS 55A Compass System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .113KI 525A Indicator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .114Description of Indicator and Display Functions . . . . . . . . . . . . . . . . . . . . . .114Slaving Meter ( KA 51B) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .116KMT 112 Magnetic Slaving Transmitter . . . . . . . . . . . . . . . . . . . . . . . . . . . .117KG 102A Directional Gyro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .117Abnormal Circumstances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .119Flight Procedures with the KCS 55A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .120Abnormal Procedures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .127Autopilot Malfunction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .127iiKAP 140 AUTOPILOT SYSTEMRev. 0Jun/98
IntroductionIntroductionThe KAP 140 Autopilot System is arate based digital autopilot systemoffering smooth performance andenhanced features found only inmore expensive autopilots. The firstof its type developed by Honeywell,this system brings digital technologyand reliability into the light aircraftcockpit.It is also significant that the KAP 140series autopilots have beendesigned from their inception tointerface with the Silver Crown package of products. Consider theadvantage of having your avionicsworking together as an integratedsystem rather than as a group ofcomponents built by several manufactures.Your new KAP 140 roll axis featuresinclude wing leveler, heading select,and VOR/LOC intercept and tracking. The KAP 140 can also be coupled to GPS and RNAV receivers aswell. Roll rate information is derivedfrom the turn coordinator. Pitch axisfeatures include vertical speed,glideslope and altitude hold alongwith the optional altitude preselect.Pitch information is derived from apressure sensor and accelerometer.The KAP 140 Autopilot System operates independent of the aircraft’sartificial horizon. Therefore, theautopilot retains roll stabilization andall vertical modes in the event of vacuum system failure.Rev. 1Apr/02Internal monitors keep constant trackof the KAP 140’s status and providefor automatic shutdown of theautopilot or trim system in the eventof a malfunction. In addition to reliability, the KAP 140 is designed to beeasily maintained in the field.Qualified Honeywell Service Centersare located around the world to provide assistance whenever necessary.To fully realize the capability of yournew panel mount digital autopilotsystem, you must understand theperformance capabilities and basicoperational requirements of the system. This pilot’s guide providesinformation to aid in this and isdivided up into six sections. The firstsection provides general familiarization of each autopilot system including the associated panel mounteddisplays. The second sectiondescribes the KAP 140 Single AxisAutopilot System. The third sectiondescribes the KAP 140 Two AxisAutopilot System. The fourth sectiondescribes the KAP 140 TwoAxis/Altitude Preselect AutopilotSystem. The fifth section describesthe optional KCS 55A slaved compass system. The Sixth sectiondescribes abnormal procedures.KAP 140 AUTOPILOT SYSTEM1
IntroductionGeneral DescriptionKAP 140 Single AxisAutopilot SystemKAP 140 Two Axis/AltitudePreselect Autopilot SystemThe KAP 140 Single Axis system isan entry level digital panel-mountautopilot, offering lateral modes onlywith an electric trim option.The KAP 140 Two Axis system provides both lateral and vertical modeswith altitude preselect.D.C. ELEC.D.C. ELEC.TURN COORDINATORTURN COORDINATORLRLR2 MIN.2 MIN.NO PITCHINFORMATIONNO 24W3024W30ııGGKAP 140KFC 140ARMBAROUPAPHDGNAVAPRREVAPHDGNAVAPRREVALTDNKAP 140 Two AxisAutopilot SystemThe KAP 140 Two Axis system provides both lateral and verticalmodes.D.C. ELEC.TURN COORDINATORLR2 MIN.NO PITCHINFORMATIONN3GS2412WE30633GS15S21ıGKAP 140UPAP2HDGNAVAPRREVALTDNKAP 140 AUTOPILOT SYSTEMRev. 1Apr/02
IntroductionHSIDGTurn CoordinatorAutomatic Electric Elevator TrimManual Electric TrimFUNCTIONS/MODESALT Hold (ALT)ALT Preselect/ALERTHeading Select (HDG)NAV (VOR/RNAV/GPS)Approach (APR)Glideslope (GS)Back Course (REV)Control Wheel Steering (CWS)Vertical Speed HldAuto CaptureAuto TrackAll Angle InterceptAuto 45-degree InterceptTESTManual and Auto Trim MonitorAcceleration MonitorKAP 140Two Axis nalKAP 140Two AxisKAP 140Single YesYesStandard (withDG or optionalHSI)Standard(with DG only)YesYesYesYesYesYesOptionalYesYesYesStandard (withDG or optionalHSI)Standard(with DG ard (withDG or optionalHSI)Standard(with DG only)BothKAP 140 System CapabilitiesRev. 1Apr/02KAP 140 AUTOPILOT SYSTEM3
IntroductionSystem IntegrationThe individual system diagrams onpages 5, 6, and 7 show the components and their relationship in typicalKAP 140 Single Axis, KAP 140 TwoAxis, and KAP 140 Two Axis/AltitudePreselect systems. The actual components on individual systems mayvary slightly in order to optimize certification and installation requirements.Each system has a number ofinputs: sensor outputs are shown inred; combination inputs are shown inblue; display outputs are shown inorange; and aircraft control shown ingreen. The systems diagramsreflect that the KAP 140 systemscontrol both pitch and roll axes of theaircraft.4KAP 140 AUTOPILOT SYSTEMRev. 1Apr/02
IntroductionMiddle VOR/LOC/RNAV/MarkerGPS DeviationD.C. ELEC.GTURN COORDINATORKAP 140LTRIMFAILRHDGAPNAVAPRREV2 MIN.NO PITCHINFORMATIONKC 140 Single AxisComputer/Controller/Annunciatorcontains computerfunctions, modecontrol buttons,and annunciationsin a single unit.Turn CoordinatorAIRNN33KS 271C Roll USHıHPUSDirectional Gyro KI 204 or other CourseDeviation IndicatorORKG102ASlaved DGNAV33NKS 272C Pitch TrimServo onnect/Trim Interrupt(Optional)S21ıKMT 112Flux DetectorKI 525A PictorialNavigation Indicator-KCS 55A SlavedCompass System(Optional) AUTOMANCCWCWKA 51BSlaving rical Trim(Optional)KAP 140 Single Axis System DiagramRev. 1Apr/02KAP 140 AUTOPILOT SYSTEM5
IntroductionVOR/LOC/RNAV/StaticGPS Deviation PressureGlideslopeMiddleDeviationMarkerD.C. ELEC.GTURN COORDINATORKAP 140TRIMFAILDNLHDGAPRNAVAPRREVALTUP2 MIN.NO PITCHINFORMATIONTurn CoordinatorKC 140 Two AxisComputer/Controller/Annunciatorcontains computerfunctions, modecontrol buttons,and annunciationsin a single unit.Also containsstatic pressuresensor andaccelerometer.KS 271C Roll S21OBSPUSHıHPUSKS 270C Pitch ServoDirectional Gyro KI 204 or other CourseDeviation Indicator(not included)ORKG102ASlaved DGNAV33N3GS630GSKS 272C Pitch Trim ServoHDGKCSEW305ı241215S21ıKMT 112Flux DetectorKI 525A PictorialNavigation Indicator-KCS 55A SlavedCompass System(Optional)AutopilotDisconnect/Trim Interrupt AUTOMANCCWCWKA 51BSlaving rical TrimKAP 140 Two Axis System Diagram6KAP 140 AUTOPILOT SYSTEMRev. 1Apr/02
tionBaroSettingGlideslopeDeviationMiddleMarkerKC 140 Two Axis withAltitude PreselectComputer/Controller/Annunciatorcontains computerfunctions, modecontrol buttons,and annunciationsin a single unit. Alsocontains static pressuresensor and accelerometer.StaticPressureD.C. ELEC.GTURN COORDINATORARMKFC 140BAROUPLRHDGAPNAVAPRREVALTTRIMFAILDN2 MIN.NO PITCHINFORMATIONTurn CoordinatorKS 271C Roll S21OBSPUSHıHPUSKS 270C Pitch ServoDirectional Gyro KI 204 or other CourseDeviation Indicator(not included)ORKG102ASlaved DGNAV33NHDG3GS630GSKS 272C Pitch Trim ServoKCSEW305ı241215S21ıKMT 112Flux DetectorKI 525A PictorialNavigation Indicator-KCS 55A SlavedCompass System(Optional)AutopilotDisconnect/Trim Interrupt AUTOMANCCWCWKA 51BSlaving rical TrimKAP 140 Two Axis/Altitude Preselect System DiagramRev. 1Apr/02KAP 140 AUTOPILOT SYSTEM7
IntroductionPower Application and Preflight TestsGKAP 140APHDGNAVAPRREVKAP 140 Preflight TestGKAP 140APHDGNAVAPRREVKAP 140 Preflight Test CompleteA preflight test is performedupon power application to the computer. This test is a sequence ofinternal checks that validate propersystem operation prior to allowingautopilot engagement. The preflighttest (PFT) sequence is indicated by“PFT” with an increasing number forthe sequence steps. Successfulcompletion of self test is identified byall display segments being illuminated (Display Test) and the disconnect tone sounding.8For two-axis units only:NOTE: Following the preflight test,the red P warning on the face of theautopilot may illuminate indicatingthat the pitch axis cannot beengaged. This condition should betemporary, lasting no more than 30seconds. The P will extinguish andnormal operation will be available.NOTE: The red P warning may illuminate when the autopilot is notengaged. This can occur whenautopilot G limits have beenexceeded during turbulence or aircraft maneuvering. Autopilotengagement is locked out during redP illumination.If power to the autopilot is cycled inflight (i.e. through the autopilot circuitbreaker for instance) it is possiblethat a 5 minute delay may be necessary prior to autopilot engagement toallow the pitch axis accelerometercircuit to stabilize. Engagement priorto stabilization may result in mildlyerratic pitch axis behavior.Rev. 1KAP 140 AUTOPILOT SYSTEMApr/02
Single Axis OperationKAP 140 Single Axis OperationThe KAP 140 is a high-performance digital, panel-mounted autopilot system for light aircraft.87GKAP 140P RHDGAPNAVAPRREVSingle-axis Flight Control ComputerGKAP 140P RHDGAP123NAVAPR4REV56Full Single-axis KAP 140 Display1. AUTOPILOT ENGAGE/DISENGAGE (AP) BUTTON - Whenpushed, engages autopilot if all logicconditions are met. The autopilotwill engage in the basic roll (ROL)mode which functions as a wing leveler. When pressed again, will disengage the autopilot. For software version 03/01 and later, the AP buttonmust be pressed and held for 0.25seconds to engage the autopilot.2. ROLL AXIS (R) ANNUNCIATION- When illuminated, indicates failureof the roll axis and will disengage theautopilot and not allow engagement.3. HEADING (HDG) MODE SELECTOR BUTTON - When pushed, willselect the Heading mode, whichcommands the airplane to turn toRev. 2May/02and maintain the heading selectedby the heading bug on either the DGor HSI. A new heading may beselected at any time and will result inthe airplane turning to the new heading. Button can also be us
2 KAP 140 AUTOPILOT SYSTEM Rev. 1 Apr/02 General Description KAP 140 Single Axis Autopilot System The KAP 140 Single Axis system is an entry level digital panel-mount autopilot, offering lateral modes only with an electric trim option. KAP 140 Two Axis Autopilot System The KAP 140 Two Axis system pro-vides both lateral and vertical modes.
Honeywell KAP 140 Autopilot system (Sources: Honeywell KAP 140 Pilot’s guide – Honeywell KAP 140 Installation Manual) KAP 140 Two Axis with Altitude Preselect Operation - Introduction The KAP 140 Autopilot System included in the Beaver is a rate based digital autopilot
audit; 2. Apakah reputasi KAP akan berpengaruh terhadap kualitas audit; 3. Apakah reputasi KAP akan memoderasi pengaruh tenur KAP terhadap kualitas audit. Berdasarkan permasalahan di atas dapat disusun tujuan penelitian ini sebagai berikut: 1. Menguji apakah tenur KAP berpengaruh positif terhadap kualitas audit 2.
Pre-Calculus or AP Statistics Credit By Exam Information In Math: KAP Course Pathways by Subject. ENGLISH LANGUAGE ARTS 6th KAP Reading* and KAP English Language Arts (ELA)* . Students with C or better SEMESTER average should remain in the course for the semester. Students who wish to to exit a KAP or AP course must: conference
2 0 140-CMN 140-CT10-10 43-44 35-36 0 2 140-CMN 140-CT01-01 41-42 35-36 1 1 140-CMN 140-CT01-10 43-44 37-38 1 1 140-CMN 140-CT10-01 41-42 Kunnen worden besteld in verpakkingseenheden van 20. Voeg aan het einde van het bestelnummer de letter M toe, bijvoorbeeld: 140M-C-AFA10M.
CHEP 2015 Japan JNC 8 ESH/ESC 2013 KDIGO 2012 Non-proteinuric CKD 140/90 140/90 140/90 140/90 140/90 Proteinuric CKD 140/90 130/80 140/90 140/90 130/80 Diabetic, non . The state of hypertension guidelines pre-SPRINT (numbers refer to blood pressure target in mm
pada audit tenure, rotasi audit, ukuran KAP, dan ukuran perusahaan klien pada perusahaan jasa sektor telekomunikasi dan perdagangan eceran yang terdaftar di BEI periode 2012-2017 dalam penelitian yang berjudul “Pengaruh Audit Tenure, Rotasi Audit, Ukuran KAP, dan Ukuran Perusahaan Klien terhadap Kualitas Audit”.
(KAP) dan Reputasi KAP terhadap Kualitas Audit: Kasus Rotasi Wajib Auditor di Indonesia. Simposium Nasional Akuntansi XIII, 1-26. Hartadi, B. (2018). Pengaruh Fee Audit, Rotasi KAP, dan Reputasi Auditor Terhadap Kualitas Audit di Bursa Efek Indonesia. Jurnal Ekonomi dan Keuangan Akreditasi No.110/DIKTI/Kep/2009.
3 Predicate Logic 4 Theorem Proving, Description Logics and Logic Programming 5 Search Methods 6 CommonKADS 7 Problem Solving Methods 8 Planning 9 Agents 10 Rule Learning 11 Inductive Logic Programming 12 Formal Concept Analysis 13 Neural Networks 14 Semantic Web and Exam Preparation . www.sti-innsbruck.at Agenda Motivation Technical Solution – Introduction to Theorem Proving .
